Semantic Multi-View model for Low-Power

Power is an important concern in embedded systems. Reduction of power consumption is achieved by balancing the control of multiple domains: switching power, reducing or increasing voltage and changing the frequency on system sections. Model-Driven Engineering gives tools to model the interactions of these domains. In this work, we propose to use MARTE combined to UPF concepts to capture the structure and behavior of these multiple domains. We adopt CCSL to unify the multiform aspects among domains and to verify their proper interaction. We provide an example to illustrate MARTE representation and a simulation of multi-domain power design, specified on CCSL and running on TIMESQUARE . RSUM. La puissance est une caractéristique importante qu’il est nécessaire de prendre en compte lors de la conception de systèmes embarqués. La réduction de consommation de puissance est réalisée en jouant sur le contrôle de plusieurs domaines: en commutant l’alimentation de certains composants du système, en réduisant ou en augmentant leur tension et en changeant leur fréquence. L’ingénierie dirigée par les modèles donne des outils pour modéliser les interactions entre ces domaines. Dans ce travail, nous proposons d’utiliser MARTE combiné aux concepts de UPF pour capturer la structure et le comportement de ces multiples domaines. Nous utilisons CCSL pour unifier les aspects multiformes entre ces domaines et pour vérifier la correction de l’interaction. Nous fournissons un exemple illustrant la représentation MARTE des différents aspects du système. À partir de cet exemple, nous modélisons les intéractions entre les différentes vues en CCSL . La modélisation en CCSL permet, grâce à l’outil TIMESQUARE , de fournir une simulation de la conception de puissance multi-domaine.